- символ переменной
- variable symbol мат.
Русско-английский научно-технический словарь Масловского. 2015.
символ переменной
Look at other dictionaries:
символ переменной — kintamojo simbolis statusas T sritis automatika atitikmenys: angl. variable symbol vok. Variablensymbol, n rus. символ переменной, m pranc. symbole de variable, m … Automatikos terminų žodynas
Символ Кронекера — Якоби — Не следует путать с Символ Кронекера. Символ Кронекера Якоби функция, используемая в теории чисел. Иногда называют символом Лежандра Якоби Кронекера или просто символом Кронекера. Является обобщением символов Лежандра и Якоби. Символ Лежандра… … Википедия
Символ доллара — Запрос «$» перенаправляется сюда; см. также другие значения. $ Символ (знак) доллара ($) символ, обозначающий доллар, песо, эскудо и некоторые другие валюты различных стран, из которых наиболее известной является доллар США. В испаноязычных … Википедия
Хеш символ — # Октоторп символ (#), также называемый «решёткой», «хешем», «диезом» (или «шарпом» (англ. sharp) из за внешнего сходства этих двух символов), «знаком номера», «клопом» или «знаком фунта» (в США). Содержание 1 Этимология … Википедия
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Предикатная логика — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика второго порядка — в математической логике формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… … Википедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
